Context semantics, linear logic and computational complexity

机译：上下文语义，线性逻辑和计算复杂性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ugo Dal Lago;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Context Semantics, Linear Logic, and Computational Complexity [J] . UGO DAL LAGO ACM transactions on computational logic . 2009,第4期

机译：上下文语义，线性逻辑和计算复杂性
2. Optimal models of disjunctive logic programs: semantics, complexity, and computation [J] . Leone N., Scarcello F., Subrahmanian V.S. IEEE Transactions on Knowledge and Data Engineering . 2004,第4期

机译：析取逻辑程序的最佳模型：语义，复杂性和计算
3. Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation [J] . MURDOCH J. GABBAY Journal of the Association for Computing Machinery . 2016,第3期

机译：上下文之外的语义：一阶逻辑和计算的名义绝对表示法
4. Context Semantics, Linear Logic and Computational Complexity [C] . Dal Lago, U. . 2006

机译：上下文语义，线性逻辑和计算复杂性
5. GEOMETRIC METHODS IN COMPUTATIONAL COMPLEXITY (DECISIONS TREES, NP-COMPLETENESS, LINEAR PROGRAMMING) [D] . KOLINEK, MARTIN 1985

机译：计算复杂性的几何方法（决策树，NP完全性，线性规划）
6. Advancing complexity science in healthcare research: the logic of logic models [O] . Thomas Mills, Rebecca Lawton, Laura Sheard 2019

机译：在医疗保健研究中推进复杂性科学：逻辑模型的逻辑
7. Context Semantics, Linear Logic and Computational Complexity [O] . Lago, Ugo Dal 2006

机译：语境语义，线性逻辑和计算复杂性
8. Fuzzy Logic Multisensor Association Algorithm: Multiple Emitters, Computational Complexity, and Noisy Data [R] . Smith, J. F. 1999

机译：模糊逻辑多传感器关联算法：多发射器，计算复杂度和噪声数据

Context semantics, linear logic and computational complexity

著录项

引文网络

相似文献

相关主题

期刊订阅